COMPUTING TECHNOLOGY FOR CHECKING ANSWERS IN TESTING SYSTEMS
نویسندگان
چکیده
منابع مشابه
Model Checking and Testing of Concurrent Systems
This thesis is devoted to the formal analysis, verification and testing of concurrent systems based on symbolic transition graphs. The main contributions are: 1. A compositional framework is proposed for modeling network protocols using symbolic transition graphs. In this framework, a protocol entity is decomposed into a set of communicating sequential sub-tasks sharing a set of state variables...
متن کاملTesting Distributed Systems Through Symbolic Model Checking
The observation of a distributed system’s finite execution can be abstracted as a partial ordered set of events generally called finite (partial order) trace. In practice, this trace can be obtained through a standard code instrumentation, which takes advantage of existing communications between processes to partially order events of different processes. We show that testing that such a distrib...
متن کاملChecking Models, Proving Programs, and Testing Systems
We are all faced up to a flowering of concepts and methods in the area of software verification and validation, due to significant advances in the domain. This paper considers the main terms and expressions currently in use on the subjects of model, specification, program, system, proof, checking, testing. Some analysis of the use and combination of these terms is sketched, pointing out some co...
متن کاملinvestigating the integration of translation technologies into translation programs in iranian universities: basis for a syllabus design in translation technology
today, information technology and computers are indispensable tools of any profession and translation technologies have become an indispensable part of translator’s workstation. with the increasing demands for high productivity and speed as well as consistency and with the rise of new demands for translation and localization, it is necessary for translators to be familiar with market demands an...
Software Testing Environment for Dependable Distributed Systems Using Cloud Computing Technology
Various information systems are widely used in the information society era, and the demand for highly dependable system is increasing year after year. However, software testing for such a system becomes more difficult due to the enlargement and the complexity of the system. In particular, it is often difficult to test parallel and distributed systems in the real world after deployment, although...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences
سال: 2020
ISSN: 2663-5941
DOI: 10.32838/2663-5941/2020.1-1/15